-
1 преобразование записи выражения
Русско-английский словарь по электронике > преобразование записи выражения
-
2 преобразование записи выражения
Русско-английский словарь по радиоэлектронике > преобразование записи выражения
-
3 преобразование терма
( логического выражения) term rewritingРусско-английский словарь по вычислительной технике и программированию > преобразование терма
-
4 с учётом
•Rewriting Eqs. (.6.1) in terms of the result (.6.5) we obtain:...
•The indicators are calibrated to read true airspeed subject to instrument error.
•Based on accumulated experience the method was used for...
•The material of the tank was specially selected having regard to the extremely low temperature of the cargo.
•Selection of materials with consideration for their heat-storage capacities...
•Material of the stock screw is selected with regard to the chemical requirements of...
•This term can be written, in view of Eq.(.10), as:...
Русско-английский научно-технический словарь переводчика > с учётом
-
5 перезапись
1) General subject: rewriting2) Engineering: copying (тиражирование), dub, dubbing, overriding, overwrite, recirculation (информации), rerecording (напр. перенос на другой носитель)3) Mathematics: write back4) TV: conversion5) Information technology: media conversion, overwriting, regeneration (восстановление), transcription (с одного устройства на другое)6) Oil: rewrite7) Special term: rerecording (на магнитную ленту и т.п.)8) Advertising: audio mixing, dubbing (звука или изображения), sound mixing9) Household appliances: re-recording, recording over10) Network technologies: regenerating11) Automation: repainting (данных на экране дисплея)12) Robots: regeneration (информации)13) Security: rerecord -
6 переписка
1) General subject: copying, correspondence, typing, (между кем-л.) letters (among smb.)2) Military: letter writing3) Railway term: communication4) Astronautics: writing5) Business: rewriting6) Makarov: epistolary intercourse, intercourse in correspondence7) Computer games: conversation (в чате)
См. также в других словарях:
Confluence (term rewriting) — Confluence is a property of term rewriting systems, describing that terms in this system can be rewritten in more than one way, to yield the same result. Motivating example Consider the rules of regular arithmetic. We can think of these rules as… … Wikipedia
Overlap (term rewriting) — In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a number of different reduction rules specify potentially contradictory ways of reducing a reducible… … Wikipedia
Orthogonality (term rewriting) — Orthogonality as a property of term rewriting systems describes where the reduction rules of the system are all left linear, that is each variable occurs only once on the left hand side of each reduction rule, and there is no overlap between them … Wikipedia
Normal form (term rewriting) — In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further. Consider the basic term rewriting system with reduction rule ρ : g ( x , y ) → x . The term g ( g (4, 2), g (3, 1)) has the… … Wikipedia
Rewriting — In mathematics, computer science and logic, rewriting covers a wide range of potentially non deterministic methods of replacing subterms of a formula with other terms. What is considered are rewrite systems (also rewriting systems, or term… … Wikipedia
rewriting contract — A derogatory term for a judicial decision which adds or subtracts terms from a contract in construction. 17 Am J2d Contr § 242 … Ballentine's law dictionary
Abstract rewriting machine — The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left linear term rewriting systems in which each rule takes on one of six forms:… … Wikipedia
Abstract Rewriting Machine — The Abstract Rewriting Machine (ARM) is a virtual machinewhich implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left linear termrewriting systems in which each rule takes on one of six… … Wikipedia
Confluence (abstract rewriting) — In computer science, confluence is a property of rewriting systems, describing that terms in this system can be rewritten in more than one way, to yield the same result. This article describes the properties in the most abstract setting of an… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such … Wikipedia
